Preface: Special issue on software verification and testing
نویسندگان
چکیده
منابع مشابه
Special section on Software Verification and Testing
We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...
متن کاملPreface SPECIAL ISSUE ON BRAIN NEURO-MECHANICS
In July 2010, the Centre for Mathematical Medicine organized the first interdisciplinary workshop on Brain Neuro-Mechanics, under the patronage of the Fields Institute. The focus of the workshop was on recent discoveries in fundamental brain science that could play an important role in improved medical diagnoses, treatment strategies and clinical protocols. The workshop brought together experts...
متن کاملPreface for the special issue on domains
• Users may freely distribute the URL that is used to identify this publication. • Users may download and/or print one copy of the publication from the University of Birmingham research portal for the purpose of private study or non-commercial research. • User may use extracts from the document in line with the concept of ‘fair dealing’ under the Copyright, Designs and Patents Act 1988 (?) • Us...
متن کاملSpecial issue on “Qualitative Spatial Reasoning” Preface
In contemporary parlance, qualitative reasoning can be regarded as reasoning about physical systems by exploring their structural properties. Qualitative spatial reasoning, in particular, aims to express non– numerical relationships among spatial objects based on relations such as “in contact with” and “part of”. Its roots include the region-based theories of space of de Laguna [1] and Whitehea...
متن کاملPreface: Introduction to Special Issue
Demands for flexibility, greater variety of products, and advanced production processes complicate the logistics and planning of manufacturing systems; this also increases the number of alternatives that should be formalized in a model. The evaluation of all the possible alternatives of the planning problem is often considered an NP-hard combinatorial problem. Practical problems often contain n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2017
ISSN: 0164-1212
DOI: 10.1016/j.jss.2017.07.025